In 1996 , professor wang guojun built formal deductive system l * of fuzzy prepositional calculus , then in the frame of system l * , constructed the logical base for fuzfcy reasoning rules from sematics 王國俊教授于1996年建立了模糊命題演算的形式系統(tǒng)l ~ * ,之后在系統(tǒng)l ~ *的框架中,從語義上為模糊推理規(guī)則構(gòu)建了邏輯基礎(chǔ)。
In 1997 , based on rq implication operator professor wang guojun proposed revised kleene system . again in 1998 , professor wang proposed the concept of generalized tautology and discussed the classes of generalized tautologies deeply in revised kleene system 1997年,王國俊教授基于蘊(yùn)涵算子r _ 0提出了修正的kleene系統(tǒng),又于1998年引入了廣義重言式的概念,對修正的kleene系統(tǒng)中的廣義重言式類進(jìn)行了深刻而細(xì)致的討論,建立了廣義重言式理論,為模糊邏輯提出了新的研究方向。